[INFO] fetching crate tnt 1.0.2...
[INFO] checking tnt-1.0.2 against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] extracting crate tnt 1.0.2 into /workspace/builds/worker-7-tc2/source
[INFO] validating manifest of crates.io crate tnt 1.0.2 on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate tnt 1.0.2
[INFO] finished tweaking crates.io crate tnt 1.0.2
[INFO] tweaked toml for crates.io crate tnt 1.0.2 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate crates.io crate tnt 1.0.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 56e086ec1b414db0e6625c0aa5c46290186eade1d764251a369ab18dc751bbd9
[INFO] running `Command { std: "docker" "start" "-a" "56e086ec1b414db0e6625c0aa5c46290186eade1d764251a369ab18dc751bbd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "56e086ec1b414db0e6625c0aa5c46290186eade1d764251a369ab18dc751bbd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "56e086ec1b414db0e6625c0aa5c46290186eade1d764251a369ab18dc751bbd9", kill_on_drop: false }`
[INFO] [stdout] 56e086ec1b414db0e6625c0aa5c46290186eade1d764251a369ab18dc751bbd9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f9fbd80859b3e3e773bf47a7f9047a3df3507047d035c09e7a0237f439bdd19c
[INFO] running `Command { std: "docker" "start" "-a" "f9fbd80859b3e3e773bf47a7f9047a3df3507047d035c09e7a0237f439bdd19c", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.32
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.81
[INFO] [stderr]    Compiling thiserror v1.0.37
[INFO] [stderr]    Compiling ucd-trie v0.1.5
[INFO] [stderr]    Compiling once_cell v1.16.0
[INFO] [stderr]     Checking aho-corasick v0.7.19
[INFO] [stderr]     Checking regex-syntax v0.6.27
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling quote v1.0.10
[INFO] [stderr]     Checking num-complex v0.4.0
[INFO] [stderr]     Checking regex v1.6.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.37
[INFO] [stderr]     Checking num v0.4.0
[INFO] [stderr]    Compiling pest v2.4.1
[INFO] [stderr]    Compiling pest_meta v2.4.1
[INFO] [stderr]    Compiling pest_generator v2.4.1
[INFO] [stderr]    Compiling pest_derive v2.4.1
[INFO] [stderr]     Checking tnt v1.0.2 (/opt/rustwide/workdir)
[INFO] [stdout] error: proc-macro derive panicked
[INFO] [stdout]  --> src/parsing/parser.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(Parser)]
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: message: error opening "parsing\\tnt.pest": No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: proc-macro derive panicked
[INFO] [stdout]  --> src/parsing/parser.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(Parser)]
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: message: error opening "parsing\\tnt.pest": No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:15:76
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub fn string_to_formula(text: &str) -> Result<Formula, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                            ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:16:37
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:20:70
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn string_to_term(text: &str) -> Result<Term, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:21:37
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:25:35
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn build_term_tree(pair: Pair<Rule>) -> Term {
[INFO] [stdout]    |                                   ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         Rule::zero => Term::Zero,
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         Rule::variable => Term::var(pair.as_str()),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Rule::multiplication => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         Rule::addition => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         Rule::successor => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:50:38
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn build_formula_tree(pair: Pair<Rule>) -> Formula {
[INFO] [stdout]    |                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         Rule::existential => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Rule::universal => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         Rule::equality => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |         Rule::and => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |         Rule::or => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:82:9
[INFO] [stdout]    |
[INFO] [stdout] 82 |         Rule::implies => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Rule::negation => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:15:76
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub fn string_to_formula(text: &str) -> Result<Formula, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                            ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:16:37
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:20:70
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn string_to_term(text: &str) -> Result<Term, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:21:37
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:25:35
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn build_term_tree(pair: Pair<Rule>) -> Term {
[INFO] [stdout]    |                                   ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         Rule::zero => Term::Zero,
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         Rule::variable => Term::var(pair.as_str()),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Rule::multiplication => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         Rule::addition => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         Rule::successor => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:50:38
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn build_formula_tree(pair: Pair<Rule>) -> Formula {
[INFO] [stdout]    |                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         Rule::existential => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Rule::universal => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         Rule::equality => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |         Rule::and => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |         Rule::or => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:82:9
[INFO] [stdout]    |
[INFO] [stdout] 82 |         Rule::implies => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Rule::negation => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:16:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:21:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Parser`
[INFO] [stdout]  --> src/parsing/parser.rs:1:29
[INFO] [stdout]   |
[INFO] [stdout] 1 | use pest::{iterators::Pair, Parser};
[INFO] [stdout]   |                             ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:16:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 21 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:21:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tnt` (lib) due to 22 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused import: `Parser`
[INFO] [stdout]  --> src/parsing/parser.rs:1:29
[INFO] [stdout]   |
[INFO] [stdout] 1 | use pest::{iterators::Pair, Parser};
[INFO] [stdout]   |                             ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 21 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tnt` (lib test) due to 22 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "f9fbd80859b3e3e773bf47a7f9047a3df3507047d035c09e7a0237f439bdd19c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9fbd80859b3e3e773bf47a7f9047a3df3507047d035c09e7a0237f439bdd19c", kill_on_drop: false }`
[INFO] [stdout] f9fbd80859b3e3e773bf47a7f9047a3df3507047d035c09e7a0237f439bdd19c
